Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Model Validation - A Theoretical Issue?
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
On handling component and transaction failures in multi agent systems
ACM SIGecom Exchanges - Chains of commitment
Self-Modifiable Color Petri Nets for Modeling User Manipulation and Network Event Handling
IEEE Transactions on Computers
Verifying functions in online stock trading systems
Journal of Computer Science and Technology
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Comparing Concepts of Object Petri Net Formalisms
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Using tuplespaces to enact petri net-based workflow definitions
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Discrete-event controller design using Petri nets and fuzzy logic - preliminary study
WSEAS Transactions on Systems and Control
Closure operators for order structures
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Prospective analysis of cooperative provision of industrial services using coloured petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Comparing Concepts of Object Petri Net Formalisms
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
| Hi-index | 0.00 |