Keyword: abstraction

• Klai, Kais; Haddad, Serge; Ilie, Jean-Michel:
  Modular Verification of Petri Nets Properties: A Structure-Based Approach. 2005.

• Mikolajczak, Boleslaw; Wang, Zuyan:
  Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms. 2003.

• Dawis, Eugenio P.; Dawis, Joaquin F.; Koo, Wei Pin:
  Architecture of Computer-based Systems using Dualistic Petri Nets. 2001.

• Dawis, Eugenio P.:
  Architecture of an SS7 Protocol Stack on a Broadband Switch Platform using Dualistic Petri Nets. 2001.

• Nakada, K.; Yoneyama, T.:
  A method to abstract a stochastic Petri net. 2000.

• Bruni, R.; Montanari, U.:
  Zero-Safe Nets, or Transition Synchronization Made Simple. 1997.

• Lakos, Charles A.:
  On the Abstraction of Coloured Petri Nets. 1997.

• Pomello, L.; Rozenberg, G.; Simone, C.:
  A Survey of Equivalence Notions for Net Based Systems. 1992.

• Desel, Jörg:
  On Abstraction of Nets. 1991.

• He, Xudong; Lee, John A. N.:
  A Methodology for Constructing Predicate Transition Net Specifications. 1991.

• Pomello, L.; Simone, C.:
  An Algebraic Characterisation of EN System (Observable) State Space. 1991.

Back to the Petri Nets Bibliography