Research on the particular subclass of a class coloured Petri nets

Authors:
Mihaita Dragan
Affiliations:
-
Venue:
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
Year:
2010

Citing 3
Cited 0

Hierarchies in Colored GSPNs

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Interval Timed Coloured Petri Nets and their Analysis

Proceedings of the 14th International Conference on Application and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article presents a particular subclass of class coloured Petri nets, that's abbreviated as HLP (high-level particular Petri net). In this subclass it's possible to resolve the system of equations that's providing linear invariants of the subclass. The paperwork presents an efficient method for establishing such invariants.