A Systematic Approach to the Petri Net Based Specification of Concurrent Systems

• 1 January 1997
• journal article
• Published by Springer Nature in Real-Time Systems
• Vol. 13  (3) , 219-236
• https://doi.org/10.1023/a:1007907309442

Abstract

Keywords

• BEHAVIOR
• SAFETY
• PETRI NET
• TRACE BASED
• CONCURRENT SYSTEMS
• SYSTEMATIC
• BASED SPECIFICATION