For the most recent entries see the
Petri Nets Newsletter.
Keyword: semantics
-
van Hee, Kees;
Oanea, Olivia;
Sidorova, Natalia:
Colored Petri Nets to Verify Extended Event-Driven Process Chains.
2005.
-
van Hee, Kees;
Oanea, Olivia;
Sidorova, Natalia:
Colored Petri Nets to Verify Extended Event-Driven Process Chains.
2005.
-
Thanh, Cécile Bui;
Klaudel, Hanna:
Object-Oriented Modelling with High-Level Modular Petri Nets.
2004.
-
Keller, Walter:
Clustering for Petri Nets.
2003/308.
-
Klaudel, Hanna:
Compositional high-level Petri net semantics of a parallel programming language with procedures.
2001.
-
Klaudel, Hanna;
Pommereau, Franck:
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.
2001.
-
Grahlmann, Bernd:
Parallel Programs as Petri Nets.
2001.
-
Haar, Stefan:
Occurrence net logics.
2000.
-
Keller, Walter:
Petri Nets for Reverse Engineering.
2000.
-
Cerone, A.;
Maggiolo-Schettini, A.:
Time-based expressivity of time Petri nets for system specification.
1999.
-
Haar, Stefan:
Ocurrence Net Logics.
1999.
-
Haar, Stefan:
On Occurrence Net Semantics of Petri Nets.
1999.
-
Haar, Stefan:
Properties of Untimed Routed Petri Nets.
1999.
-
Gaujal, Bruno;
Haar, Stefan:
Non-ambiguous Petri Nets.
1999.
-
Tarasyuk, Igor V.:
An algebra of labelled nondeterministic processes.
1996.
-
Nielsen, M.;
Sassone, V.;
Winskel, G.:
Relationships Between Models of Concurreny.
1993.
-
Best, Eike;
Cherkasova, Ludmila;
Desel, Jörg;
Esparza, Javier:
Traps, Free Choice and Home States (Extended Abstract).
1990.
-
Cherkasova, Ludmila A.;
Kotov, Vadim E.:
Descriptive and Analytical Process Algebras.
1990.
-
Devillers, Raymond:
The Semantics of Capacities in P/T Nets.
1990.
-
Dimitrovici, Cristian;
Hummert, Udo;
Petrucci, Laure:
The Properties of Algebraic Net Schemes in Some Semantics.
1990.
-
Strack, Veronika:
Zur Semantik graphbasierter Modellierungsmethoden.
1990.
-
Richter, G.;
Heuser, C.A.:
Nets of Places and Links: a Coherent Presentation of Petri Nets for System Modeling.
1990.
-
Engelfriet, J.;
Leih, G.;
Rozenberg, G.:
Parallel Object-Based Systems and Petri Nets. Part II: Actor Systems, Dangling References and Semantics.
1990.
-
Simone, C.:
Identification and Estimation of Parameters for a Computer-Based Organization.
1989.
-
Cherkasova, Ludmila:
Posets with Non-Actions: A Model for Concurrent Nondeterministic Processes.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography