default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th APN 1995: Turin, Italy
- Giorgio De Michelis, Michel Diaz:
Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings. Lecture Notes in Computer Science 935, Springer 1995, ISBN 3-540-60029-9
Invited Papers
- Eike Best, Maciej Koutny:
A Refined View of the Box Algebra. 1-20 - Friedemann Mattern:
Distributed Algorithms and Causally Consistent Observations. 21-22 - Klaus Voss:
Petri Nets for Information Systems Modelling. 23-24
Full Papers
- Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet:
On Liveness in Extended non Self-Controlling Nets. 25-44 - Twan Basten, Marc Voorhoeve:
An Algebraic Semantics for Hierarchical P/T Nets. 45-65 - Rémi Bastide, Philippe A. Palanque:
A Petri Net based Environment for the Design of Event-driven Interfaces. 66-83 - Eugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio:
An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets. 84-102 - Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz:
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2. 103-120 - Robert Brgan, Denis Poitrenaud:
An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets. 121-140 - Giorgio Bruno, Andrea Castella, Rakesh Agarwal, Mario P. Pescarmona:
CAB: an Environment for Developing Concurrent Application. 141-160 - Peter Buchholz:
A Notion of Equivalence for Stochastic Petri Nets. 161-180 - Stefano Caselli, Gianni Conte, Paolo Marenzoni:
Parallel State Space Exploration for GSPN Models. 181-200 - Søren Christensen, Laure Petrucci:
Modular State Space Analysis of Coloured Petri Nets. 201-217 - Luís Gomes, Adolfo Steiger-Garção:
Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning. 218-237 - Serge Haddad, Jean-Michel Ilié
, Mohamed Taghelit, Belhassen Zouari:
Symbolic Reachability Graph and Partial Symmetries. 238-257 - Joost-Pieter Katoen:
Causal Behaviours and Nets. 258-277 - Charles Lakos:
From Coloured Petri Nets to Object Petri Nets. 278-297 - Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama:
Handles and Reachability Analysis of Free Choice Nets. 298-315 - Zhen Liu:
Performance Bounds for Stochastic Timed Petri Nets. 316-334 - M. Molla-Hosseini, Roger M. Kerr, Robert B. Randall, R. B. Platfoot:
An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets. 335-356 - Henning Reineke:
Subclasses of Recognizable Trace Languages. 357-373 - Oriol Roig, Jordi Cortadella, Enric Pastor:
Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. 374-391 - Karsten Schmidt:
Parameterized Reachability Trees for Algebraic Petri Nets. 392-411 - Stefan Schöf, Michael Sonnenschein, Ralf Wieting:
Efficient Simulation of THOR Nets. 412-431 - Gerlinde Schreiber:
Functional Equivalences of Petri Nets. 432-450 - Patrick Sénac, Pierre de Saqui-Sannes, Roberto Willrich:
Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems. 451-470 - Miklós Telek, Andrea Bobbio:
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions. 471-489 - Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero:
Timed Processes of Timed Petri Nets. 490-509
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-12-13 18:59 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:
