Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation
Formal Methods in System Design
OB(PN)2: an object based petri net programming notation
Concurrent object-oriented programming and petri nets
Asynchronous Links in the PBC and M-Nets
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Real-Time Systems Design with PEP
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
A Concurrent and Compositional Petri Net Semantics of Preemption
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
System Specification and Verification Using High Level Concepts - A Tool Demonstration
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Fundamenta Informaticae
Coordination language for distributed clean
Acta Cybernetica
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets
Fundamenta Informaticae
Petri nets and programming: a survey
ACC'09 Proceedings of the 2009 conference on American Control Conference
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Generic Executable Semantics for D-Clean
Electronic Notes in Theoretical Computer Science (ENTCS)
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets
Fundamenta Informaticae
Fundamenta Informaticae
Testing and Debugging Message Passing Programs in Synergy with their Specifications
Fundamenta Informaticae
| Hi-index | 0.00 |