scientific article; zbMATH DE number 3905851
From MaRDI portal
Publication:3683540
Recommendations
Cited in
(24)- Advances in Petri nets 1993. APN 93
- A structural approach to graph transformation based on symmetric Petri nets
- Property-preserving transformations of elementary net systems based on morphisms
- Equivalence checking of Petri net models of programs using static and dynamic cut-points
- Composantes préconservatives minimales d'un réseau de Petri : étude structurelle
- scientific article; zbMATH DE number 4130035 (Why is no real title available?)
- Behaviour-Preserving Transition Insertions in Unfolding Prefixes
- scientific article; zbMATH DE number 3921987 (Why is no real title available?)
- scientific article; zbMATH DE number 3921991 (Why is no real title available?)
- scientific article; zbMATH DE number 3980500 (Why is no real title available?)
- scientific article; zbMATH DE number 4033100 (Why is no real title available?)
- Normalization of place/transition-systems preserves net behaviour
- scientific article; zbMATH DE number 2079669 (Why is no real title available?)
- scientific article; zbMATH DE number 1504840 (Why is no real title available?)
- scientific article; zbMATH DE number 2155180 (Why is no real title available?)
- A new type of behaviour-preserving transition insertions in unfolding prefixes
- Stop-transitions of Petri nets
- Petri net transformations in the Petri Net Baukasten
- A formal framework for Petri net class transformations
- Making Petri nets safe and free of internal transitions
- Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée
- Merging relations: a way to compact Petri nets' behaviors uniformly
- Orthogonal transformations for coloured Petri nets
- Transforming dynamic condition response graphs to safe Petri nets
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3683540)
