Petri Net Tools for the Specification and Analysis of Discrete Controllers
IEEE Transactions on Software Engineering
Algorithms for synthesis of hazard-free asynchronous circuits
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Elimination of dynamic hazards by factoring
DAC '93 Proceedings of the 30th international Design Automation Conference
Synthesis of Hazard-Free Asynchronous Circuits Based on Characteristic Graph
IEEE Transactions on Computers
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Synthesis of a Class of Deadlock-Free Petri Nets
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Program schemas with concurrency: execution time and hangups
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The home marking problem and some related concepts
Acta Cybernetica
A synthesis rule for concurrent systems
DAC '78 Proceedings of the 15th Design Automation Conference
On the modelling, analysis and design of protocols - a special class of software structures
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science
Kleene theorems for product systems
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
| Hi-index | 0.01 |
Petri nets provide a powerful graphical tool for representing and analyzing complex concurrent systems. Properties such as hang-up freeness, determinacy, conflict, concurrency and dependency, can be represented and studied. The precise relationship between structural and behavioral properties, and between local and global properties is not well-understood for the most general class of Petri Nets. This thesis presents such results for a restricted class of Petri Nets called Free Choice Petri Nets, and for a corresponding class of systems called Production Schemata. Results on structural constraints guaranteeing global operation, and decompositions of complex systems into meaningful parts, are also presented.