For the most recent entries see the
Petri Nets Newsletter.
Keyword: formal specifications
-
Reza, Hassan;
Grant, Emmanuel:
A Formal Approach to Software Architecture of Agent-Base Systems.
2004.
-
Einer, S.;
Schieder, E.:
A Petri net based modeling approach for operating methods in train control systems.
2000.
-
Mikolajczak, B.;
Ottlik, A.:
Specification of distributed systems with actors using object-oriented Petri nets.
2000.
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Savy, C.;
Vittorini, V.:
Formal specification of concurrent systems: a structured approach.
1998.
-
Benzina, A.;
Paludetto, M.;
Delatour, J.:
About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications.
1997.
-
Guelfi, N.:
Hierarchical algebraic nets.
1997.
-
Song, K.;
Togashi, A.;
Shiratori, N.:
Verification and refinement for system requirements.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography