Using petri nets for specifying active objects and generative communication
Concurrent object-oriented programming and petri nets
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Condensed State Spaces for Timed Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Translating TPAL Specifications into Timed-Arc Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets
Artificial Intelligence
Framework for business process redesign
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
A translation of TPALp into a class of timed-probabilistic Petri nets
Theoretical Computer Science
A Proposal For Relative Time Petri Nets
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
CTL* model checking for time Petri nets
Theoretical Computer Science
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
Recent Advances in Real-Time Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic generation of simulation models for semiconductor manufacturing
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Decidability of properties of timed-arc Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Research on the particular subclass of a class coloured Petri nets
ECS'10/ECCTD'10/ECCOM'10/ECCS'10 Proceedings of the European conference of systems, and European conference of circuits technology and devices, and European conference of communications, and European conference on Computer science
Science of Computer Programming
Timed CTL model checking in real-time maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Using motivation and choreography to model distributed workflow
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
| Hi-index | 0.00 |