Application and Theory of Petri Nets 1996 [[electronic resource] ] : 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings / / edited by Jonathan Billington, Wolfgang Reisig |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (VIII, 556 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Architecture, Computer Mathematical logic Algorithms Computer logic Computer communication systems Computation by Abstract Devices Computer System Implementation Mathematical Logic and Foundations Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Computer Communication Networks |
ISBN | 3-540-68505-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition -- Temporal uncertainty and fuzzy-timing high-level Petri nets -- Compositionality in state space verification methods -- On liveness and controlled siphons in Petri nets -- Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets -- High level synthesis of synchronous parallel controllers -- Non sequential semantics for contextual P/T nets -- The PSR methodology: Integrating hardware and software models -- Designing and verifying a communications gateway using coloured Petri nets and design/CPN™ -- Expected impulse rewards in Markov regenerative stochastic Petri nets -- Asynchronous composition of high level Petri Nets: A quantitative approach -- A formal definition of hierarchical predicate transition nets -- Reduced state space representation for unbounded vector state spaces -- Modelling and analysis of distributed program execution in BETA using coloured Petri Nets -- Reachability analysis based on structured representations -- Arc-typed Petri Nets -- The SEA Language for system engineering and animation -- A new iterative numerical solution algorithm for a class of stochastic Petri Nets -- A structural approach for the analysis of Petri Nets by reduced unfoldings -- An O(S × T)-algorithm to verify if a net is regular -- The consistent use of names and polymorphism in the definition of Object Petri Nets -- Designing a security system by means of Coloured Petri Nets -- Modeling and analysing DART systems through high-level Petri nets -- {SC}*ECS: A class of modular and hierarchical cooperating systems -- Behavioural equivalence for infinite systems — Partially decidable! -- Topological aspects of traces -- Asynchronous control device design by net model behavior simulation -- Covering step graph -- Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks. |
Record Nr. | UNISA-996465640703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application of Petri Nets to Communication Networks [[electronic resource] ] : Advances in Petri Nets / / edited by Jonathan Billington, Michel Diaz, Grzegorz Rozenberg |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 004/.36 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer communication systems
Application software Software engineering Information storage and retrieval Electrical engineering Computer Communication Networks Information Systems Applications (incl. Internet) Software Engineering Information Storage and Retrieval Communications Engineering, Networks |
ISBN | 3-540-48911-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Using high-level petri nets in the field of intelligent networks -- The incremental modelling of the Z39.50 protocol with object petri nets -- The modelling and analysis of IEEE 802.6's configuration control protocol with coloured petri nets -- Colored petri nets based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the fieldbus protocol -- Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach -- Timed petri net models of ATM LANs -- Performance evaluation of polling-based communication systems using SPNs -- Structural decomposition and serial solution of SPN models of the ATM GAUSS switch -- COSTPN for Modeling and control of telecommunication systems -- Stochastic colored petri net models for rainbow optical networks. |
Record Nr. | UNISA-996465943103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application of Petri Nets to Communication Networks [[electronic resource] ] : Advances in Petri Nets / / edited by Jonathan Billington, Michel Diaz, Grzegorz Rozenberg |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 004/.36 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer communication systems
Application software Software engineering Information storage and retrieval Electrical engineering Computer Communication Networks Information Systems Applications (incl. Internet) Software Engineering Information Storage and Retrieval Communications Engineering, Networks |
ISBN | 3-540-48911-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Using high-level petri nets in the field of intelligent networks -- The incremental modelling of the Z39.50 protocol with object petri nets -- The modelling and analysis of IEEE 802.6's configuration control protocol with coloured petri nets -- Colored petri nets based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the fieldbus protocol -- Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach -- Timed petri net models of ATM LANs -- Performance evaluation of polling-based communication systems using SPNs -- Structural decomposition and serial solution of SPN models of the ATM GAUSS switch -- COSTPN for Modeling and control of telecommunication systems -- Stochastic colored petri net models for rainbow optical networks. |
Record Nr. | UNINA-9910768466803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Transactions on petri nets and other models of concurrency I / / K. Jensen, Wil van der Aalst, Jonathan Billington |
Autore | Jensen K. |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XVIII, 251 p.) |
Disciplina | 511.3 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Petri nets
Computer multitasking |
ISBN | 3-540-89287-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen -- TAPAs: A Tool for the Analysis of Process Algebras -- Translating Message Sequence Charts to other Process Languages Using Process Mining -- Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering -- Time Recursive Petri Nets -- Designing Case Handling Systems -- Model Driven Testing Based on Test History -- Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization -- Directed Unfolding of Petri Nets -- McMillan’s Complete Prefix for Contextual Nets -- Elasticity and Petri Nets. |
Record Nr. | UNINA-9910484615203321 |
Jensen K.
![]() |
||
Berlin : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Transactions on petri nets and other models of concurrency I / / K. Jensen, Wil van der Aalst, Jonathan Billington |
Autore | Jensen K. |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XVIII, 251 p.) |
Disciplina | 511.3 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Petri nets
Computer multitasking |
ISBN | 3-540-89287-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen -- TAPAs: A Tool for the Analysis of Process Algebras -- Translating Message Sequence Charts to other Process Languages Using Process Mining -- Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering -- Time Recursive Petri Nets -- Designing Case Handling Systems -- Model Driven Testing Based on Test History -- Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization -- Directed Unfolding of Petri Nets -- McMillan’s Complete Prefix for Contextual Nets -- Elasticity and Petri Nets. |
Record Nr. | UNISA-996465882603316 |
Jensen K.
![]() |
||
Berlin : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Transactions on Petri Nets and Other Models of Concurrency III [[electronic resource]] |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XVII, 275 p.) |
Disciplina | 511.35 |
Altri autori (Persone) |
JensenK <1950-> (Kurt)
BillingtonJonathan KoutnyMaciej <1958-> |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Mathematical logic
Computers Software engineering Computer programming Mathematical Logic and Foundations Models and Principles Software Engineering Programming Techniques Mathematical Logic and Formal Languages Theory of Computation |
ISBN | 3-642-04856-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Designing a Workflow System Using Coloured Petri Nets -- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems -- Soundness of Workflow Nets with Reset Arcs -- Parameterised Coloured Petri Net Channel Models -- On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol -- Modelling Mobile IP with Mobile Petri Nets -- A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example -- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection -- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language -- On Bisimulation Theory in Linear Higher-Order ?-Calculus. |
Record Nr. | UNISA-996465909003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Transactions on petri nets and other models of concurrency III / / editor-in-chief, Kurt Jensen ; guest editor, Jonathan Billington, Maciej Koutny |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; London, : Springer, 2009 |
Descrizione fisica | 1 online resource (XVII, 275 p.) |
Disciplina | 511.35 |
Altri autori (Persone) |
BillingtonJonathan
JensenK <1950-> (Kurt) KoutnyMaciej <1958-> |
Collana | Lecture notes in computer science |
Soggetto topico |
Parallel processing (Electronic computers)
Petri nets |
ISBN | 3-642-04856-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Designing a Workflow System Using Coloured Petri Nets -- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems -- Soundness of Workflow Nets with Reset Arcs -- Parameterised Coloured Petri Net Channel Models -- On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol -- Modelling Mobile IP with Mobile Petri Nets -- A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example -- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection -- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language -- On Bisimulation Theory in Linear Higher-Order ?-Calculus. |
Record Nr. | UNINA-9910484551103321 |
Berlin ; ; London, : Springer, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|