Modeling, validation and software implementation of production systems using high level Petri nets

Publisher Website

23 March 2005

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

https://doi.org/10.1109/robot.1987.1087860

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

Generalized Inverses and the Calculation of Symbolic Invariants for Coloured Petri Nets
Published by Springer Nature ,1991
Process-translatable Petri nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering, 1986
Towards reachability trees for high-level petri nets
Lecture Notes in Computer Science, 1985
A Language for the Description of Concurrent Systems Modeled by Colored Petri Nets: Application to the Control of Flexible Manufacturing Systems
Published by Springer Nature ,1985
Casting Petri Nets into Programs
IEEE Transactions on Software Engineering, 1983
Modeling and analysis of communication and cooperation protocols using petri net based models
Computer Networks (1976), 1982
System modelling with high-level Petri nets
Theoretical Computer Science, 1981
Coloured petri nets and the invariant-method
Theoretical Computer Science, 1981