scientific article; zbMATH DE number 750184

MaRDI QIDQ4764197zbMATH OpenFDO

Authors Kurt Jensen

Publication date 2 May 1995

zbMATH Keywords

CP-netsplace invariants

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 107927
• scientific article; zbMATH DE number 4028914
• scientific article; zbMATH DE number 1049168
• The practitioner's guide to coloured Petri nets.

Cited in

(18)

• A symbolic reachability graph for coloured Petri nets
• Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation
• The practitioner's guide to coloured Petri nets.
• Specification and performance analysis of embedded systems with coloured Petri nets
• Extended colored Petri net: An efficient tool for analyzing concurrent systems
• Charlie -- an extensible Petri net analysis tool
• A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
• Modelling reconfigurable manufacturing systems with coloured timed Petri nets
• Coloured Petri Nets
• scientific article; zbMATH DE number 4028914 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 1049168 (Why is no real title available?)
• Arc-typed Petri Nets
• Dynamic exploration of multi-agent systems with periodic timed tasks
• Efficient reachability graph representation of Petri nets with unbounded counters
• Analysis of approximate Petri nets by means of occurrence graphs
• EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS
• Flexibility in Algebraic Nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4764197)