Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Petri Nets for Systems Engineering
Home
Publications
Petri Nets for Systems Engineering
Petri Nets for Systems Engineering
CG
Claude Girault
Claude Girault
RV
Rüdiger Valk
Rüdiger Valk
Top Cited Papers
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 2003
book
Published by
Springer Nature
https://doi.org/10.1007/978-3-662-05324-9
Abstract
No abstract available
Keywords
BRIDGE
WORKFLOW
COMMUNICATION
COMPLEXITY
FORMAL METHOD
FORMAL METHODS
HARDWARE
MODEL CHECKING
MODELING
PETRI NET
SOFTWARE
SYSTEMS ENGINEERING
TELECOMMUNICATIONS
VALIDATION
VERIFICATION
References
Cited
This publication has 0 references indexed in Scilit:
Scroll to top