Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th APN 1993: Chicago, Illinois, USA
- Marco Ajmone Marsan:
Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Lecture Notes in Computer Science 691, Springer 1993, ISBN 3-540-56863-8
Invited Papers
- Clarence A. Ellis, Gary J. Nutt:
Modeling and Enactment of Workflow Systems. 1-16 - Manuel Silva:
Interleaving Functional and Performance Structural Analysis of Net Models. 17-23 - Kishor S. Trivedi, Vidyadhar G. Kulkarni:
FSPNs: Fluid Stochastic Petri Nets. 24-31
Full Papers
- José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel:
Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations. 32-48 - Michel Barbeau, Gregor von Bochmann:
A Subset of Lotos with the Computational Power of Place/Transition-Nets. 49-68 - Kamel Barkaoui, Claude Dutheillet, Serge Haddad:
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. 69-88 - Luca Bernardinello:
Synthesis of Net Systems. 89-105 - Peter Buchholz
:
Hierarchies in Colored GSPNs. 106-125 - Tiehua Cao, Arthur C. Sanderson:
Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets. 126-145 - Giovanni Chiola, Alois Ferscha:
Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency. 146-165 - Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi:
Transient Analysis of Deterministic and Stochastic Petri Nets. 166-185 - Søren Christensen, Niels Damgaard Hansen:
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. 186-205 - Yi Deng, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich:
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. 206-223 - Jörg Desel, Javier Esparza:
Shortest Paths in Reachability Graphs. 224-241 - Raymond R. Devillers:
Construction of S-invariants and S-components for Refined Petri Boxes. 242-261 - Dominik Gomm, Ekkart Kindler, Barbara Paech, Rolf Walter:
Compositional Liveness Properties of EN-Systems. 262-281 - Hans-Michael Hanisch:
Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control. 282-299 - Jean-Michel Ilié, Omar Rojas:
On Well-Formed Nets and Optimizations in Enabling Tests. 300-318 - Peter Kemper:
Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. 319-338 - Luigi Portinale:
Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model. 339-356 - Nathalie Sauer, Xiaolan Xie:
Marking Optimization of Stochastic Timed Event Graphs. 357-376 - Christophe Sibertin-Blanc:
A Client-Server Protocol for the Composition of Petri Nets. 377-396 - C. R. M. Sundaram, Y. Narahari:
Analysis of Dynamic Load Balancing Strategies Using a Combination of Stochastic Petri Nets and Queueing Networks. 397-414 - Enrique Teruel, Manuel Silva Suárez:
Liveness and Home States in Equal Conflict Systems. 415-432 - Rüdiger Valk:
Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. 433-452 - Wil M. P. van der Aalst:
Interval Timed Coloured Petri Nets and their Analysis. 453-472 - Chang-Yu Wang, Kishor S. Trivedi:
Integration of Specification for Modeling and Specification for System Design. 473-492 - Toshimasa Watanabe, Masahiro Yamauchi:
New Priority-Lists for Scheduling in Timed Petri Nets. 493-512 - Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang:
A Unified Approach for Reasoning about Conflict-Free Petri Nets. 513-531
Project Papers
- J. Berger, Luc Lamontagne:
A Colored Petri Net Model for a Naval Command and Control System. 532-541 - Carla Capellmann, Heinz Dibold:
Petri Net Based Specifications of Services in an Intelligent Network - Experiences gained from a Test Case Application. 542-551 - Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki:
On Net Modeling of Industrial Size Concurrent Systems. 552-561 - David A. Hartley, David M. Harvey:
Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets. 562-571 - Guenter Klas:
Protocol Optimization for a Packet-Switched Bus in Case of Burst Traffic by Means of GSPN. 572-581 - Qian Zhang, Herbert Grünbacher:
Petri Nets Modeling in Pipelined Microprocessor Design. 582-591
a service of 
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-04-25 20:49 CEST 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:
