Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Development of an International Standard for High-level Petri Nets
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Independence of net transformations and token firing in reconfigurable place/transition systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Fundamenta Informaticae
Hi-index | 0.00 |