default search action
20th ICATPN 1999: Williamsburg, VA, USA
- Susanna Donatelli, H. C. M. Kleijn:
Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings. Lecture Notes in Computer Science 1639, Springer 1999, ISBN 3-540-66132-8 - Pravin Varaiya:
Design, Simulation, and Implementation of Hybrid Systems. 1-5 - Andrew S. Miner
, Gianfranco Ciardo
Efficient Reachability Set Generation and Storage Using Decision Diagrams. 6-25 - Enric Pastor
Structural Methods to Improve the Symbolic Analysis of Petri Nets. 26-45 - Karsten Schmidt:
Stubborn Sets for Standard Properties. 46-65 - Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre:
Petri Net Based Behavioural Specification of CORBA Systems. 66-85 - Olaf Kummer, Daniel Moldt, Frank Wienberg:
Symmetric Communication between Coloured Petri Net Simulations and Java-Processes. 86-105 - Bruce H. Krogh:
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). 106 - Laura Recalde, Enrique Teruel
Autonomous Continuous P/T Systems. 107-126 - Andrew Tokmakoff, Jonathan Billington:
An Approach to the Analysis of Interworking Traders. 127-146 - Susann C. Allmaier, David Kreische:
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets. 147-167 - Lorenzo Capra
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation. 168-187 - Christoforos N. Hadjicostis
Monitoring Discrete Event Systems Using Petri Net Embeddings. 188-207 - Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. 208-227 - Serge Haddad, Denis Poitrenaud:
Theoretical Aspects of Recursive Petri Nets. 228-247 - Christoph Schneider, Joachim Wehler:
Petri Net Theory - Problems Solved by Commutative Algebra. 248-267 - Piotr Chrzastowski-Wachtel:
Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem. 268-281 - Giorgio De Michelis:
Net Theory and Workflow Models (abstract). 282-283 - Walter Vogler:
Concurrent Implementation of Asynchronous Transition Systems. 284-303 - Jean Fanchon:
Trace Channel Nets. 304-323 - Gabriel Juhás
Reasoning about Algebraic Generalisation of Petri Nets. 324-343 - Eike Best, Raymond R. Devillers, Maciej Koutny:
The Box Algebra - A Model of Nets and Process Expressions. 344-363 - Jean-Michel Couvreur, Denis Poitrenaud:
Detection of Illegal Behaviors Based on Unfoldings. 364-383 - To-Yat Cheung, Yiqin Lu:
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. 384-403 - Thomas Baar, Ekkart Kindler
Verifying Intuition - ILF Checks DAWN Proofs. 404-424
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-11-22 19:31 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: