For the most recent entries see the
Petri Nets Newsletter.
Keyword: refinement
-
Mikolajczak, Boleslaw;
Wang, Zuyan:
Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms.
2003.
-
Varró, Dániel;
Pataricza, András:
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics).
2003.
-
Devillers, Raymond;
Klaudel, Hanna;
Riemann, Robert-C.:
General parameterised refinement and recursion for the M-net calculus.
2003.
-
Varro, Daniel;
Pataricza, Andras:
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.
2002.
-
Klaudel, Hanna:
Compositional high-level Petri net semantics of a parallel programming language with procedures.
2001.
-
Di Marzo Serugendo, Giovanna:
A Formal Development and Validation Methodology applied to Agent-Based Systems.
2001.
-
Tarasyuk, Igor V.:
Tau-equivalences and refinement for Petri nets based design.
2000.
-
Tarasyuk, Igor V.:
Tau-equivalences for analysis of concurrent systems modeled by Petri nets with silent transitions.
1999.
-
Padberg, Julia:
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.
1999.
-
Best, Eike;
Devillers, Raymond;
Koutny, Maciej:
The Box Algebra - A Model of Nets and Process Expressions.
1999.
-
Tarasyuk, Igor V.:
Place bisimulation equivalences for design of concurrent and sequential systems.
1998.
-
Tarasyuk, Igor V.:
Tau-equivalences and refinement.
1998.
-
Tarasyuk, Igor V.:
Place bisimulation equivalences for design of concurrent systems.
1998.
-
Tarasyuk, Igor V.:
An investigation of back-forth and place bisimulation equivalences.
1997.
-
Tarasyuk, Igor V.:
An investigation of tau-equivalences.
1997.
-
Tarasyuk, Igor V.:
Equivalences for behavioural analysis of multilevel systems.
1997.
-
Virbitskaite, Irina B.;
Tarasyuk, Igor V.:
Investigating equivalence notions for time Petri nets.
1997.
-
Melzer, S.;
Riemann, R.-C.:
Construction of Traps for Refined Petri Boxes.
1997.
-
Ermel, Claudia;
Padberg, Julia;
Ehrig, Hartmut:
Requirements Engineering of a Medical Information System.
1996.
-
Tarasyuk, Igor V.:
Equivalence notions for design of concurrent systems using Petri nets.
1996.
-
Tarasyuk, Igor V.:
Petri net equivalences for design of concurrent systems.
1996.
-
Best, Eike:
The Box Calculus: a New Causal Algebra with Multi-label Communication.
1992.
-
Pomello, L.;
Rozenberg, G.;
Simone, C.:
A Survey of Equivalence Notions for Net Based Systems.
1992.
-
Nielsen, Mogens;
Rozenberg, Grzegorz;
Thiagarajan, P.S.:
Elementary Transition Systems and Refinement.
1991.
-
Best, E.;
Esparza, J.:
Design Methods Based on Nets (DEMON): Edited Progress Report of the Esprit Basic Research Action 3148.
1991.
-
He, Xudong;
Lee, John A. N.:
A Methodology for Constructing Predicate Transition Net Specifications.
1991.
-
Chehaibar, Ghassan:
Replacement of Open Interface Subnets and Stable State Transformation Equivalence.
1991.
-
de Michelis, Giorgio:
Morphisms and Refinement for EN Systems.
1991.
-
Damm, Werner;
Döhmen, Gert;
Gerstner, Volker;
Josko, Bernhard:
Modular Verification of Petri Nets: The Temporal Logic Approach.
1990.
-
Leuschel, Michael:
Language and Refinement.
1990.
-
Leuschel, Michael:
Language and Refinement.
1990.
-
Pomello, Lucia:
Refinement of Concurrent Systems Based on Local State Transformation.
1990.
-
Pomello, Lucia:
Refinement of Concurrent Systems Based on Local State Transformation.
1990.
-
Schiel, U.:
Net Hierarchies.
1990.
-
van Glabbeek, Rob J.;
Goltz, Ursula:
Equivalences and Refinement.
1990.
-
Varadharajan, Vijay:
A Formal Approach to System Design and Refinement.
1990.
-
Vogler, Walter:
Failure Semantics of Petri Nets and the Refinement of Places and Transitions.
1990.
-
van Glabbeek, Rob;
Goltz, Ursula:
Partial Order Semantics for Refinement of Actions --- Neither Necessary nor Always Sufficient but Appropriate when Used with Care.
1989.
-
van Glabbeek, Rob;
Goltz, Ursula:
Partial Order Semantics for Refinement of Actions --- Neither Necessary nor Always Sufficient but Appropriate when Used with Care.
1989.
-
van Glabbeek, Rob;
Goltz, Ursula:
Equivalence Notions for Concurrent Systems and Refinement of Actions.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography