INCOSE International Symposium · 2001 · 63 citations · 5 references
Petri NetEngineeringSoftware SystemsInternational OrganisationSoftware EngineeringSystem-level DesignSystem Of Systems EngineeringSystems Engineering StandardsSystems EngineeringHigh‐level Petri NetsJoint Technical CommitteeData ManagementStochastic Petri NetComputer EngineeringManufacturing SystemsComputer ScienceSoftware AssuranceIso/iec 15909Specification LanguageModel-based System EngineeringOperating SystemsSoftware Requirement SpecificationSystem SoftwareSystem Specification
Abstract The International Organisation for Standardisation (ISO) and the International Electrotechnical Commission (IEC) have a Joint Technical Committee (JTC1) for the promulgation of Information Technology Standards. JTC1 is divided into a number of subcommittees (SCs), with SC7 having carriage for Software and Systems Engineering Standards. Working Group (WG)11 of SC7 has been developing standards in the area of Software Engineering Data Description and Representation. One of the standards developed by WG11 (ISO/IEC 15909) is for the specification of distributed and concurrent systems using high‐level Petri nets. This standard has now reached the status of a Final Draft International Standard, and hence its technical content is fixed. The final ballot should be held in the middle of 2001. This paper provides the background, scope, justification, current status and future directions of this project.
5
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations
Petri net theory and the modeling of systems
Mathematics and Computers in Simulation · 1982 · 615 citations
Extensions to coloured Petri nets
Jonathan Billington · 2003 · 22 citations