default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th APN 1996: Osaka, Japan
- Jonathan Billington, Wolfgang Reisig:
Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Lecture Notes in Computer Science 1091, Springer 1996, ISBN 3-540-61363-3
Invited Papers
- Gul Agha:
Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. 1-10 - Tadao Murata:
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. 11-28 - Antti Valmari:
Compositionality in State Space Verification Methods. 29-56
Full Papers
- Kamel Barkaoui, Jean-François Pradat-Peyre:
On Liveness and Controlled Siphons in Petri Nets. 57-72 - Mohamed-Lyes Benalycherif, Claude Girault:
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. 73-92 - Krzysztof Bilinski, Erik L. Dagless:
High Level Synthesis of Synchronous Parallel Controllers. 93-112 - Nadia Busi, G. Michele Pinna:
Non Sequential Semantics for Contextual P/T Nets. 113-132 - Susanna Donatelli, Giuliana Franceschinis:
The PSR Methodology: Integrating Hardware and Software Models. 133-152 - D. J. Floreani, Jonathan Billington, A. J. Dadej:
Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. 153-171 - Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders:
Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets. 172-191 - Serge Haddad, Patrice Moreaux:
Asynchronous Composition of High Level Petri Nets: A Quantitative Approach. 192-211 - Xudong He:
A Formal Definition of Hierarchical Predicate Transition Nets. 212-229 - Kunihiko Hiraishi:
Reducted State Space Representation for Unbounded Vector State Spaces. 230-248 - Jens Bæk Jørgensen, Kjeld Høyer Mortensen:
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. 249-268 - Peter Kemper:
Reachability Analysis Based on Structured Representations. 269-288 - Ekkart Kindler
, Rolf Walter:
Arc-Typed Petri Nets. 289-306 - Bernd Kleinjohann, Lisa Kleinjohann, Jürgen Tacken:
The SEA Language for System Engineering and Animation. 307-326 - Werner Knaup:
A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets. 327-345 - Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten:
A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. 346-365 - Andrei Kovalyov:
An O(|S|×|T|)- Algorithm to Verify if a Net is Regular. 366-379 - Charles Lakos:
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. 380-399 - Jens Linneberg Rasmussen, Mejar Singh:
Designing a Security System by Means of Coloured Petri Nets. 400-419 - Libero Nigro, Francesco Pupo:
Modeling and Analysing DART Systems Through High-Level Petri Nets. 420-439 - Laura Recalde, Enrique Teruel, Manuel Silva Suárez:
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. 440-459 - Kim Sunesen, Mogens Nielsen:
Behavioural Equivalence for Infinite Systems - Partially Decidable! 460-479 - Jaap van Oosten:
Topological Aspects of Traces. 480-496 - Victor Varshavsky, Vyacheslav Marakhovsky:
Asynchronous Control Device Design by Net Model Behavior Simulation. 497-515 - François Vernadat, Pierre Azéma, François Michel:
Covering Step Graph. 516-535 - Jun Yuan, Lilin Liu, Zhanqiu Dong:
Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks. 536-548
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
