scientific article; zbMATH DE number 3905851
From MaRDI portal
Publication:3683540
zbMATH Open0567.68032MaRDI QIDQ3683540FDOQ3683540
Authors: G. Berthelot 
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
modellingboundednessconservativenessparallel processeslivenesscoverage by semi-flowsproper termination
Cited In (23)
- Equivalence checking of Petri net models of programs using static and dynamic cut-points
- A formal framework for Petri net class transformations
- Title not available (Why is that?)
- Composantes préconservatives minimales d'un réseau de Petri : étude structurelle
- Title not available (Why is that?)
- A new type of behaviour-preserving transition insertions in unfolding prefixes
- Merging relations: a way to compact Petri nets' behaviors uniformly
- A structural approach to graph transformation based on symmetric Petri nets
- Making Petri nets safe and free of internal transitions
- Title not available (Why is that?)
- Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée
- Property-preserving transformations of elementary net systems based on morphisms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Stop-transitions of Petri nets
- Behaviour-Preserving Transition Insertions in Unfolding Prefixes
- Advances in Petri nets 1993. APN 93
- Petri net transformations in the Petri Net Baukasten
- Title not available (Why is that?)
- Transforming dynamic condition response graphs to safe Petri nets
- Orthogonal transformations for coloured Petri nets
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
