Process of petri nets extension

DOI10.1007/BF02832120MaRDI QIDQ3415259zbMATH OpenOpenAlexFDO

Authors Guofu Zhou, Yanxiang He, Zhuomin du

Publication date 16 January 2007

Published in Wuhan University Journal of Natural Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02832120

zbMATH Keywords

network computing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Extensional Petri net
• An Extension in the Definition of a Petri Net Execution
• Petri nets and regular processes
• Petri net extensions for modelling and validating manufacturing systems
• A well-structured framework for analysing Petri net extensions
• Process expression of bounded Petri nets
• Process discovery and Petri nets
• Extensions to the CEGAR approach on Petri nets
• scientific article; zbMATH DE number 1088051

Cited in

(1)

• The denotational semantics of dynamic networks of processes

This page was built for publication: Process of petri nets extension

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