Journal of Automata, Languages and Combinatorics
Petri net algebra
A Calculus of Communicating Systems
A Calculus of Communicating Systems
B(PN)2 - a Basic Petri Net Programming Notation
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
PEP - More than a Petri Net Tool
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
General Refinement for High Level Petri Nets
Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
A Petri Net Semantics for B(PN)^2 with Procedures
PDSE '97 Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems
Scalable formalization of publish/subscribe messaging scheme based on message brokers
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Hi-index | 0.01 |
In the domain of parameterized composable high-level Petri nets (M-nets), we shall combine the refinement, the synchronization and the asynchronous link operations in a unified and general setup, while keeping the expected properties of those operations. In particular, the various high-level net operations are consistent through unfolding with their low-level counterparts, and the usual commutativity and idempotency properties are fulfilled at the syntactic level up to structural equivalences.