Application and Theory of Petri Nets

Keyphrases

Publications

1996

Jens Bæk Jørgensen, Kjeld Høyer Mortensen
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. Application and Theory of Petri Nets (1996)
Bernd Kleinjohann, Lisa Kleinjohann, Jürgen Tacken
The SEA Language for System Engineering and Animation. Application and Theory of Petri Nets (1996)
Susanna Donatelli, Giuliana Franceschinis
The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets (1996)
Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders
Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets. Application and Theory of Petri Nets (1996)
François Vernadat, Pierre Azéma, François Michel
Covering Step Graph. Application and Theory of Petri Nets (1996)
Serge Haddad, Patrice Moreaux
Asynchronous Composition of High Level Petri Nets: A Quantitative Approach. Application and Theory of Petri Nets (1996)
Kamel Barkaoui, Jean-François Pradat-Peyre
On Liveness and Controlled Siphons in Petri Nets. Application and Theory of Petri Nets (1996)
Kim Sunesen, Mogens Nielsen
Behavioural Equivalence for Infinite Systems - Partially Decidable! Application and Theory of Petri Nets (1996)
Ekkart Kindler, Rolf Walter
Arc-Typed Petri Nets. Application and Theory of Petri Nets (1996)
Jun Yuan, Lilin Liu, Zhanqiu Dong
Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks. Application and Theory of Petri Nets (1996)
Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten
A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. Application and Theory of Petri Nets (1996)
Jens Linneberg Rasmussen, Mejar Singh
Designing a Security System by Means of Coloured Petri Nets. Application and Theory of Petri Nets (1996)
Antti Valmari
Compositionality in State Space Verification Methods. Application and Theory of Petri Nets (1996)
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. Application and Theory of Petri Nets (1996)
Victor Varshavsky, Vyacheslav Marakhovsky
Asynchronous Control Device Design by Net Model Behavior Simulation. Application and Theory of Petri Nets (1996)
Jaap van Oosten
Topological Aspects of Traces. Application and Theory of Petri Nets (1996)
Andrei Kovalyov
An O(|S|×|T|)- Algorithm to Verify if a Net is Regular. Application and Theory of Petri Nets (1996)
Libero Nigro, Francesco Pupo
Modeling and Analysing DART Systems Through High-Level Petri Nets. Application and Theory of Petri Nets (1996)
Mohamed-Lyes Benalycherif, Claude Girault
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. Application and Theory of Petri Nets (1996)
D. J. Floreani, Jonathan Billington, A. J. Dadej
Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. Application and Theory of Petri Nets (1996)
Gul Agha
Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. Application and Theory of Petri Nets (1996)
Peter Kemper
Reachability Analysis Based on Structured Representations. Application and Theory of Petri Nets (1996)
Kunihiko Hiraishi
Reducted State Space Representation for Unbounded Vector State Spaces. Application and Theory of Petri Nets (1996)
Krzysztof Bilinski, Erik L. Dagless
High Level Synthesis of Synchronous Parallel Controllers. Application and Theory of Petri Nets (1996)
Werner Knaup
A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets. Application and Theory of Petri Nets (1996)
Charles Lakos
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. Application and Theory of Petri Nets (1996)
Nadia Busi, G. Michele Pinna
Non Sequential Semantics for Contextual P/T Nets. Application and Theory of Petri Nets (1996)
Xudong He
A Formal Definition of Hierarchical Predicate Transition Nets. Application and Theory of Petri Nets (1996)
Tadao Murata
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. Application and Theory of Petri Nets (1996)

volume 1091, 1996

Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings Application and Theory of Petri Nets 1091 (1996)

1995

volume 935, 1995

Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings Application and Theory of Petri Nets 935 (1995)