Advances in Petri nets 1986, part I on Petri nets: central models and their properties
High-level Petri nets: theory and application
High-level Petri nets: theory and application
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications
PARLE '91 Proceedings of Parallel Architectures and Languages - Volume II
Efficient Simulation of THOR Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Hierarchies in coloured Petri nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Coloured Petri nets: A high level language for system design and analysis
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Proceedings on Mathematical Foundations of Computer Science
On Processes of Object Petri Nets
On Processes of Object Petri Nets
Structured Analysis and System Specification
Structured Analysis and System Specification
Hi-index | 0.00 |
Thorns combine the widely used object-oriented programming language C++ with various features of Petri nets for modeling concurrency and time. In this way complex distributed systems can be modeled in a detailed manner. Thorns can be transformed to C++ code and executed sequentially or concurrently by simulators for validation and experiments. This paper shows both, features of Thorns and their modeling approach by an example.