A Multi-paradigm Petri Net Based Approach To Process Description

Publisher Website

24 August 2005

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 41-43
https://doi.org/10.1109/ispw.1991.637521

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Timed high-level nets
Real-Time Systems, 1991
A unified high-level Petri net formalism for time-critical systems
IEEE Transactions on Software Engineering, 1991
Software process enactment in Oikos
Published by Association for Computing Machinery (ACM) ,1990
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software, 1990